Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
661	Parsing English with a Link Grammar Daniel D. K. Sleator * Davy Temperley October 1991 CMU-CS[removed] Add to Reading List Source URL: www.link.cs.cmu.edu Language: English - Date: 2004-03-24 13:40:45 Language Parsing Formal grammar Context-free grammar Syntax Immediate constituent analysis Interpretation Combinatory categorial grammar Electrical connector Formal languages Linguistics Grammar
662	NBD(NIST Big Data) Requirements WG Use Case Template Aug[removed]Use Case Title Statistical Survey Response Improvement (Adaptive Design) Vertical (area) Government Statistical Logistics Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-09-05 19:17:09 Formal sciences Business intelligence Data analysis Demography Survey methodology Big data Analytics Paradata Census Statistics Science Data management
663	NIST Special Publication[removed]DRAFT NIST Big Data Interoperability Framework: Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2015-04-02 10:59:26 Data management Database management systems Data analysis Formal sciences Database theory Big data Data mining Data architecture Cloud computing Computing Concurrent computing Information technology management
664	NBD(NIST Big Data) Requirements WG Use Case Template Aug[removed]Use Case Title Large Survey Data for Cosmology Vertical (area) Scientific Research: Cosmic Frontier Author/Company/Email Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-09-04 13:09:17 Scientific method Physical cosmology Formal sciences Operations research Gravitational lensing Weak gravitational lensing Data analysis Simulation Big data Science Information Physics
665	Use Case Title National Archives and Records Administration Accession NARA Accession, Search, Retrieve, Preservation Vertical (area) Digital Archives Author/Company/Email Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-21 09:58:21 Data management Database theory Formal sciences Big data Transaction processing Database Data center Internet privacy Data analysis Technology Computing Database management systems
666	NBD(NIST Big Data) Requirements WG Use Case Template Aug[removed]Use Case Title Truthy: Information diffusion research from Twitter Data Vertical (area) Scientific Research: Complex Networks and Systems research Author/C Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-23 12:07:39 Data analysis Database management systems Database theory Formal sciences Database Cluster analysis Apache Hadoop Big data Data visualization Technology Computing Data management
667	Data Mining Data Mining AN EXCLUSIVE INTERVIEW WITH DR. AMJAD ZAIM, CEO, COGNITRO ANALYTICS WHAT IS DATA MINING? Add to Reading List Source URL: www.cognitro.com Language: English - Date: 2015-01-03 13:23:53 Data analysis Formal sciences Customer experience management Electronic commerce Data mining Analytics Predictive analytics Data quality Customer relationship management Business Business intelligence Statistics
668	NBD(NIST Big Data) Requirements WG Use Case Template Aug[removed]Use Case Title DOE-BER Subsurface Biogeochemistry Scientific Focus Area Vertical (area) Research: Earth Science Author/Company/Email Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-26 17:42:21 Data management Data analysis Emerging technologies Data mining Big data Geographic information system Hydrology Data quality Science Technology Formal sciences
669	NIST BDWG Definitions Working Notes M0024 Version[removed]NIST Big Data Working Group: Definitions & Taxonomy Subgroup Co-Chairs: Nancy Grady (SAIC), Natasha Balac(SDSC), Eugene Luster (R2AD) Meetings: Mondays 11:00 Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-07-31 16:56:51 Formal sciences Business intelligence Database management systems Database theory Big data Data mining Data analysis Data warehouse Metadata Data management Technology Science
670	Finding Relevant Patterns in Bursty Sequences Alexander Lachmann ∗ Mirek Riedewald Add to Reading List Source URL: www.vldb.org Language: English - Date: 2008-10-22 09:22:52 Mathematics Bioinformatics Sequence mining Mathematical analysis Diff Continuous function GSP Algorithm Data mining Computing Formal languages

UPDATE